Pradeep Kumar Nalla

FAQ About Pradeep Kumar Nalla

• What is Pradeep Kumar Nalla's address?

  Pradeep Kumar Nalla is located at
  United Kingdom

• What is Pradeep Kumar Nalla's job title?

  Pradeep Kumar Nalla is a
  Pradeep K. Nalla is working as a Formal verification Engineering Manager at Apple, St. Albans, Greater London, UK. He received B.E. Degree in Computer Science from Madras University; M.S. Degree in Computer Science from Dresden University of Technology, Germany. Dr.rer.nat. (Ph.D.) in Technical Computer Science from University of Tuebingen, Germany. He has (co-)authored around 20 papers in various conferences and workshops - including DATE, DAC, ICCAD, VLSI, PDMC, HLDVT, FDL and GI/ITG/GMM. He currently holds 13 US patents. In the past (during doctoral studies and working at IBM) he served as a reviewer for many of the top-tier conferences and journals. Most recently he has co-reviewed Formal Verification papers for DAC 2022 and 2023. Expertise: 1) Formal verification: Model/Equivalence checking based on BDDs, SAT solvers and Temporal logics (LTL and CTL) 2) Formal verification execution - Formal modelling for backend verification 3) Efficient distributed verification 4) Formal and semi-formal verification of embedded software 5) Forward, reverse and roundtrip engineering from UML models 6) UML profile generation Apple

• What industry does Pradeep Kumar Nalla currently work in?

  Pradeep Kumar Nalla currently works in the
  Apple

• What is Pradeep Kumar Nalla's area of expertise?

  Pradeep Kumar Nalla specializes in
  Pradeep K. Nalla is working as a Formal verification Engineering Manager at Apple, St. Albans, Greater London, UK. He received B.E. Degree in Computer Science from Madras University; M.S. Degree in Computer Science from Dresden University of Technology, Germany. Dr.rer.nat. (Ph.D.) in Technical Computer Science from University of Tuebingen, Germany. He has (co-)authored around 20 papers in various conferences and workshops - including DATE, DAC, ICCAD, VLSI, PDMC, HLDVT, FDL and GI/ITG/GMM. He currently holds 13 US patents. In the past (during doctoral studies and working at IBM) he served as a reviewer for many of the top-tier conferences and journals. Most recently he has co-reviewed Formal Verification papers for DAC 2022 and 2023. Expertise: 1) Formal verification: Model/Equivalence checking based on BDDs, SAT solvers and Temporal logics (LTL and CTL) 2) Formal verification execution - Formal modelling for backend verification 3) Efficient distributed verification 4) Formal and semi-formal verification of embedded software 5) Forward, reverse and roundtrip engineering from UML models 6) UML profile generation

• Which languages does Pradeep Kumar Nalla speak? 

  Pradeep Kumar Nalla speaks the following languages:
  No languages available.

• Which industries has Pradeep Kumar Nalla previously worked in?   

  Pradeep Kumar Nalla has prior experience in the following industries:
  Apple , Test And Verification Solutions , Ibm , Ibm , Atrenta , Atrenta , University Of Tuebingen , Fraunhofer Institute For Integrated Circuits , Advanced Micro Devices , Electronics

• What is Pradeep Kumar Nalla’s work experience?  

  Pradeep Kumar Nalla has the following professional experience:
  Apple , Apple , Test And Verification Solutions , Ibm , Ibm , Atrenta , Atrenta , University Of Tuebingen , Fraunhofer Institute For Integrated Circuits , Advanced Micro Devices , Electronics .

• How can I find Pradeep Kumar Nalla on LinkedIn?  

  You can view Pradeep Kumar Nalla’s
  LinkedIn profile at LinkedIn URL.

• What are Pradeep Kumar Nalla’s work email addresses?  

  Pradeep Kumar Nalla’s work email addresses are
  [email protected] .

• What company does Pradeep Kumar Nalla work for?  

  Pradeep Kumar Nalla works at
  Apple